منابع مشابه
ON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES
In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...
متن کاملCompleteness, Compactness, Effective Dimensions
We investigate a directed metric on the space of infinite binary sequences defined by d(Y → X) = lim sup n C(X n | Y n) n , where C(X n | Y n) is the Kolmogorov complexity of X n given Y n. In particular we focus on the topological aspects of the associated metric space proving that it is complete though very far from being compact. This is a continuation of earlier work by the author investiga...
متن کاملHierarchic Superposition: Completeness without Compactness
Many applications of automated deduction and verification require reasoning in combinations of theories, such as, on the one hand (some fragment of) first-order logic, and on, the other hand a background theory, such as some form of arithmetic. Unfortunately, due to the high expressivity of the full logic, complete reasoning is impossible in general. It is a realistic goal, however, to devise t...
متن کاملLearning Resources Collections: Completeness and Compactness Issues
Features of a quality learning resource collection are discussed and some measures that may be helpful for collection maintenance and update are proposed.
متن کاملCompleteness and Compactness of Quantitative Domains
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets directed-completeness and partial metric completeness are interdefinable. Moreover, we demonstrate that Lawson-compact, countably based domains are precisely the compact pmetric spaces that are continuously ordered.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2008
ISSN: 0166-8641
DOI: 10.1016/j.topol.2007.08.020